Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair
循环不代表可靠：状态绑定证据与类型化修订契约实现代理代码修复
🧭 Agent 可靠性保障 · 状态绑定证据与修订契约
Alibaba Cloud
揭示代码修复循环中正确补丁易丢失，提出状态绑定证据和类型化契约以保障代理可靠性
📌 工作参考价值（4 点）
- 代理迭代时保存“已验证状态”检查点，避免后续修订破坏已正确结果，电商搜索中的查询改写或排序策略迭代同样适用
- 引入类型化修订契约，强制每次修订后基于最新状态验证，而非依赖陈旧反馈，提升代理行为稳定性
- 设计审计接收凭据（auditable admission receipts），对代理关键动作（如投放决策、推荐生成）进行追溯和可靠性监控
- 评估代理时区分“曾经正确”与“最终正确”，避免将中途正确但最终破坏的情况误判为可靠